\documentclass[openany,oneside,10pt]{memoir}

\usepackage{../forallxyyc}

\IfFileExists{../forallxyyc-local.sty}{\usepackage{../forallxyyc-local}}{}

\hypersetup{pdfinfo={Title={forall x: Calgary. Solutions to Selected Exercises}, 
  Author={P.D. Magnus, Tim Button, J. Rob Loftis, Robert Trueman, Aaron Thomas-Bolduc, Richard Zach}, Subject={An open access introductory textbook in formal logic}, Keywords={truth-functional logic, propositional logic, predicate logic, first-order logic, natural deduction, fitch, modal logic}}, 
  bookmarks={true}, 
  bookmarksopen = {true},
        colorlinks={true}, 
        allcolors={dkleadbeater},
        pdfdisplaydoctitle={true}}

\usepackage[absolute,overlay]{textpos}

% set stock & paper size with narrow margins

\setstocksize{8in}{5in}

\settrimmedsize{\stockheight}{\stockwidth}{*}
\settrims{0pt}{0pt}

% let's calculate the line length for 65 characters in \normalfont

\setlxvchars

% set the size of the type block to golden ratio calculated width

\settypeblocksize{*}{1.05\lxvchars}{1.62}

% set spine and and edge margin

\setlrmargins{*}{*}{1}
\setulmargins{.6in}{*}{*}
\setheaderspaces{*}{*}{1}

\checkandfixthelayout

\definecolor{lyallpink}{RGB}{222,31,149}
\colorlet{leadbeater}{lyallpink}
\colorlet{dkleadbeater}{lyallpink!80!black}
\colorlet{ltleadbeater}{lyallpink!50}
\colorlet{vltleadbeater}{lyallpink!3}

\begin{document}
\midsloppy

\pagestyle{leadbeater}

\frontmatter
\include{forallx-sol-frontmatter}

\currentpdfbookmark{Table of Contents}{name}
\tableofcontents*

\mainmatter
\include{forallx-sol-what}
\include{forallx-sol-tfl}
\include{forallx-sol-truthtables}
\include{forallx-sol-prooftfl}
\include{forallx-sol-fol}
\include{forallx-sol-interpretations}
\include{forallx-sol-prooffol}
\include{forallx-sol-ml}
\include{forallx-sol-metatheory}


\end{document}
